Galois 接續
Galois connection
ガロア接続 - Wikipedia
Galois connection in nLab
組
$ (A,\le_A)
と
$ (B,\le_B)
とが
半順序
である時、單調函數
$ f:A\to B
と
$ g:A\larr B
とが
Galois 接續
であるとは、
$ \forall a_{\in A}\forall b_{\in B}(f(a)\le_B b\iff a\le_A g(b))
である事を言ふ
$ f
を下隨伴 (lower adjoint)、
$ g
を上隨伴 (upper adjoint) と呼ぶ
半順序
閒の
Galois 接續
は、
痩せた圈
の閒の
隨伴 (函手)
と見做せる